HEVC/H.265 Argon Streams is the only set of test bit-streams providing full coverage for the HEVC standard. Based on formal verification techniques, these bit-streams enable users

Source URL: www.argondesign.com

• Video
• Videotelephony
• ISO standards
• Video compression
• Engineering
• High-definition television
• Computing
• MPEG
• High Efficiency Video Coding
• Argon
• H.264/MPEG-4 AVC
• High Efficiency Video Coding implementations and products

The AutoProof Verifier: Usability by Non-Experts and on Standard Code Carlo A. Furia Christopher M. Poskitt

Source URL: se.inf.ethz.ch

• Theoretical computer science
• Software engineering
• Formal methods
• Logic in computer science
• Software testing
• Formal verification
• Separation logic
• Loop invariant
• Software verification
• Eiffel
• Postcondition
• Invariant

On Formal Models for Social Verification ∗ Chien-Ju Ho and Kuan-Ta Chen Institute of Information Science, Academia Sinica

Source URL: chienjuho.com

Academic and Industrial Software Testing Conferences: Survey and Synergies Árpád Beszédes László Vidács

Source URL: www.inf.u-szeged.hu

• Engineering
• Academia
• Computing
• Academic conferences
• Piscataway
• New Jersey
• International Conference on Software Engineering and Formal Methods
• ISSRE
• Software engineering
• Software testing
• International Federation for Information Processing
• Software verification
• Institute of Electrical and Electronics Engineers

Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

Source URL: www.lri.fr

• Formal methods
• Predicate transformer semantics
• Loop invariant
• Hoare logic
• State-space representation

SMT SOLVERS Spring School on Logic and Verification 2016 Martina Seidl Institute for Formal Models and Verification

Source URL: forsyte.at

A theorem proving framework for the formal verification of Web Services Composition Petros Papapanagiotou Jacques D. Fleuriot

Source URL: rap.dsi.unifi.it

seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi

Source URL: research.davidcock.fastmail.fm

Inferring Programmer Intent and Related Errors from Software By MARK GREGORY GABEL B.S. (California Polytechnic State University, San Luis ObispoM.S. (California Polytechnic State University, San Luis Obispo) 2006

Source URL: web.cs.ucdavis.edu

• Theoretical computer science
• Technology
• Computing
• Product development
• Formal methods
• Logic in computer science
• Science and technology
• Formal verification
• Software development
• Software testing
• Oracle
• Software bug